Basagiannis, C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Software certification of airborne cyber-physical systems under DO-178C

Basagiannis, Stylianos

Year:

2016

Language:

english

File:

PDF, 277 KB

english, 2016

2

Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study

Fitzgerald, John, Gamble, Carl, Payne, Richard, Larsen, Peter Gorm, Basagiannis, Stylianos, Mady, Alie El-Din

Journal:

INCOSE International Symposium

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

3

[IEEE 2011 IEEE Symposium on Computers and Communications (ISCC) - Corfu, Greece (2011.06.28-2011.07.1)] 2011 IEEE Symposium on Computers and Communications (ISCC) - Quantitative model checking of an RSA-based email protocol on mobile devices

Petridou, Sophia, Basagiannis, Stylianos, Alexiou, Nikolaos, Papadimitriou, Georgios, Katsaros, Panagiotis

Year:

2011

Language:

english

File:

PDF, 247 KB

english, 2011

4

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Explanations and Relaxations for Policy Conflicts in Physical Access Control

Turkmen, Fatih, Foley, Simon, O'Sullivan, Barry, Fitzgerald, William, Hadzic, Tarik, Basagiannis, Stylianos, Boubekeur, Menouer

Year:

2013

Language:

english

File:

PDF, 209 KB

english, 2013

5

[IEEE 2012 9th Annual Conference on Wireless On-demand Network Systems and Services (WONS) - Courmayeur, Italy (2012.01.9-2012.01.11)] 2012 9th Annual Conference on Wireless On-Demand Network Systems and Services (WONS) - Towards energy consumption evaluation of the SSL handshake protocol in mobile communications

Petridou, Sophia, Basagiannis, Stylianos

Year:

2012

Language:

english

File:

PDF, 352 KB

english, 2012

6

Hypoglycaemia requiring medical assistance in patients with diabetes: A prospective multicentre survey in tertiary hospitals

Liatis, S., Mylona, M., Kalopita, S., Papazafiropoulou, A., Karamagkiolis, S., Melidonis, A., Xilomenos, A., Ioannidis, I., Kaltsas, G., Lanaras, L., Papas, S., Basagiannis, C., Kokkinos, A.

Journal:

Diabetes & Metabolism

Year:

2015

Language:

english

File:

PDF, 551 KB

english, 2015

7

[IEEE 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim, Fritzson, Peter, Brauer, Jorg, Kleijn, Christian, Lecomte, Thierry, Pfeil, Markus, Green, Ole, Basagiannis, Stylianos, Sadovykh, Andrey

Year:

2016

Language:

english

File:

PDF, 438 KB

english, 2016

8

Modified Generalized Maxwell Model for Hysteresis Behavior of Elastomeric Dampers

Basagiannis, Christos A., Williams, Martin S.

Journal:

Journal of Engineering Mechanics

Year:

2020

File:

PDF, 2.55 MB

2020

9

[IEEE 2020 23rd Euromicro Conference on Digital System Design (DSD) - Kranj, Slovenia (2020.8.26-2020.8.28)] 2020 23rd Euromicro Conference on Digital System Design (DSD) - The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Barbosa, R., Basagiannis, S., Giantamidis, G., Becker, H., Ferrari, E., Jahic, J., Kanak, A., Esnaola, M. Labayen, Orani, V., Pereira, D., Pomante, L., Schlick, R., Smrcka, A., Yazici, A., Folkesson,

Year:

2020

File:

PDF, 1.24 MB

2020

10

Catalytic steam reforming of acetic acid for hydrogen production

A.C. Basagiannis, X.E. Verykios

Journal:

International Journal of Hydrogen Energy

Year:

2007

Language:

english

File:

PDF, 887 KB

english, 2007

11

Influence of the carrier on steam reforming of acetic acid over Ru-based catalysts

Aristides C. Basagiannis, Xenophon E. Verykios

Journal:

Applied Catalysis B: Environmental

Year:

2008

Language:

english

File:

PDF, 1.10 MB

english, 2008

12

Steam reforming of the aqueous fraction of bio-oil over structured Ru/MgO/Al2O3 catalysts

Aristides C. Basagiannis, Xenophon E. Verykios

Journal:

Catalysis Today

Year:

2007

Language:

english

File:

PDF, 1.04 MB

english, 2007

13

Probabilistic model checking for the quantification of DoS security threats

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou

Journal:

Computers & Security

Year:

2009

Language:

english

File:

PDF, 1.30 MB

english, 2009

14

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach

S. Basagiannis, S. Petridou, N. Alexiou, G. Papadimitriou, P. Katsaros

Journal:

Computers & Security

Year:

2011

Language:

english

File:

PDF, 1.36 MB

english, 2011

15

Synthesis of attack actions using model checking for the verification of security protocols

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Journal:

Security and Communication Networks

Year:

2011

Language:

english

File:

PDF, 1018 KB

english, 2011

16

Low Temperature Steam Reforming of Ethanol Over Supported Noble Metal Catalysts

Aristides C. Basagiannis, Paraskevi Panagiotopoulou, Xenophon E. Verykios

Journal:

Topics in Catalysis

Year:

2008

Language:

english

File:

PDF, 518 KB

english, 2008

17

Reforming reactions of acetic acid on nickel catalysts over a wide temperature range

A.C. Basagiannis, X.E. Verykios

Journal:

Applied Catalysis A: General

Year:

2006

Language:

english

File:

PDF, 693 KB

english, 2006

18

An intruder model with message inspection for model checking security protocols

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Journal:

Computers & Security

Year:

2010

Language:

english

File:

PDF, 1.96 MB

english, 2010

19

Formal analysis for robust anti-SPIT protection using model checking

Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis

Journal:

International Journal of Information Security

Year:

2012

Language:

english

File:

PDF, 820 KB

english, 2012

20

The interaction of vasoactive substances during exercise modulates platelet aggregation in hypertension and coronary artery disease

Konstantinos Petidis, Stella Douma, Michael Doumas, Ilias Basagiannis, Konstantinos Vogiatzis, Chrysanthos Zamboulis

Journal:

BMC Cardiovascular Disorders

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

21

A complete Rab screening reveals novel insights in Weibel-Palade body exocytosis

Zografou, S., Basagiannis, D., Papafotika, A., Shirakawa, R., Horiuchi, H., Auerbach, D., Fukuda, M., Christoforidis, S.

Journal:

Journal of Cell Science

Year:

2012

Language:

english

File:

PDF, 3.41 MB

english, 2012

22

588 Levels of platelet-activating factor (PAF) during liver regeneration after paracetamol-induced liver injury

A.D. Grypioti, G.K. Papadimas, E. Fragopoulou, A.C. Basagiannis, C.A. Demopoulos, Z. Papadopoulou-Daifoti, M.G. Mykoniatis

Journal:

Journal of Hepatology

Year:

2004

Language:

english

File:

PDF, 57 KB

english, 2004

23

Platelet function and prostanoid production during exercise in hyperlipidemic patients

Douma, S., Petidis, K., Doumas, M., Vogiatzis,, Basagiannis, I., Zamboulis, C.

Journal:

Atherosclerosis Supplements

Year:

2001

Language:

english

File:

PDF, 133 KB

english, 2001

24

Long-term safety and efficacy of atorvastatin versus four statin-fibrate combinations on lipid profile and plasma fibrinogen in patients with familial combined hyperlipidemia

V. Athyros, A. Papageorgiou, V. Athyrou, A. Pehlivanidis, V. Skeberis, H. Basagiannis, A. Kontopoulos

Journal:

Atherosclerosis

Year:

1999

Language:

english

File:

PDF, 144 KB

english, 1999

25

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks

Petridou, Sophia, Basagiannis, Stylianos, Roumeliotis, Manos

Journal:

IEEE Systems Journal

Year:

2013

Language:

english

File:

PDF, 2.59 MB

english, 2013

26

Pseudoinfarction pattern in a patient with hyperkalemia, diabetic ketoacidosis and normal coronary vessels: a case report

Antonios Ziakas, Christos Basagiannis, Ioannis Stiliadis

Journal:

Journal of Medical Case Reports

Year:

2010

Language:

english

File:

PDF, 934 KB

english, 2010

27

[IEEE 2014 International Wireless Communications and Mobile Computing Conference (IWCMC) - Nicosia, Cyprus (2014.8.4-2014.8.8)] 2014 International Wireless Communications and Mobile Computing Conference (IWCMC) - Security analysis of NFC relay attacks using probabilistic model checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Petridou, Sophia

Year:

2014

Language:

english

File:

PDF, 851 KB

english, 2014

28

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Katsaros, Panagiotis, Dashpande, Tushar, Smolka, Scott A.

Year:

2010

Language:

english

File:

PDF, 528 KB

english, 2010

29

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats

Basagiannis, Stylianos, Katsaros, Panagiotis, Pombortsis, Andrew, Alexiou, Nikolaos

Year:

2008

Language:

english

File:

PDF, 626 KB

english, 2008

30

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking

Deshpande, Tushar, Katsaros, Panagiotis, Basagiannis, Stylianos, Smolka, Scott A.

Year:

2011

Language:

english

File:

PDF, 219 KB

english, 2011

31

[IEEE 2011 IEEE 36th Conference on Local Computer Networks (LCN 2011) - Bonn, Germany (2011.10.4-2011.10.7)] 2011 IEEE 36th Conference on Local Computer Networks - Quantitative analysis for authentication of low-cost RFID tags

Paparrizos, Ioannis, Basagiannis, Stylianos, Petridou, Sophia

Year:

2011

Language:

english

File:

PDF, 310 KB

english, 2011

32

Effect of azithromycin on the LPS-induced production and secretion of phospholipase A2 in lung cells

Kitsiouli, Eirini, Antoniou, Georgia, Gotzou, Helen, Karagiannopoulos, Michalis, Basagiannis, Dimitris, Christoforidis, Savvas, Nakos, George, Lekka, Marilena E.

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular Basis of Disease

Year:

2015

Language:

english

File:

PDF, 1.84 MB

english, 2015

33

Evaluation of a two-step ultrasound examination protocol for the detection of major fetal structural defects

Pilalis, Athanasios, Basagiannis, Constantinos, Eleftheriades, Makarios, Faros, Efthimios, Troukis, Elias, Armelidou, Eleni, Papastefanou, Ioannis, Souka, Athena P.

Journal:

Journal of Maternal-Fetal and Neonatal Medicine

Year:

2012

Language:

english

File:

PDF, 547 KB

english, 2012

34

Formal security analysis of near field communication using model checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Petridou, Sophia

Journal:

Computers & Security

Year:

2016

Language:

english

File:

PDF, 893 KB

english, 2016

35

IMPACT OF TELMISARTAN TREATMENT ON POSTPRANDIALL FIBRINOLYSIS IN ESSENTIAL HYPERTENSION

Solomou, S., Anyfantis, I., Basagiannis, C., Tsalta, D., Papargyriou, I., Papadogiannis, D.

Journal:

Journal of Hypertension

Year:

2011

Language:

english

File:

PDF, 81 KB

english, 2011

36

QUALITY OF LIFE AND HYPERTENSION IN THE ELDERLY

Maridaki, C., Basagiannis, C., Anyfantis, I, Papargyriou, I., Papadogiannis, D.

Journal:

Journal of Hypertension

Year:

2011

Language:

english

File:

PDF, 79 KB

english, 2011

37

Constitutive Endocytosis of VEGFR2 Protects the Receptor Against Shedding.

Basagiannis, Dimitris, Christoforidis, Savvas

Journal:

Journal of Biological Chemistry

Year:

2016

Language:

english

File:

PDF, 4.00 MB

english, 2016

38

VEGF induces signalling and angiogenesis by directing VEGFR2 internalisation via macropinocytosis.

Basagiannis, Dimitris, Zografou, Sofia, Murphy, Carol, Fotsis, Theodore, Morbidelli, Lucia, Ziche, Marina, Bleck, Christopher, Mercer, Jason, Christoforidis, Savvas

Journal:

Journal of Cell Science

Year:

2016

Language:

english

File:

PDF, 2.19 MB

english, 2016

39

Dynasore impairs VEGFR2 signalling in an endocytosis-independent manner

Basagiannis, Dimitris, Zografou, Sofia, Galanopoulou, Katerina, Christoforidis, Savvas

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 1.69 MB

english, 2017

40

[ACM Press the 12th Central and Eastern European Software Engineering Conference in Russia - Moscow, Russian Federation (2016.10.28-2016.10.29)] Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia on - CEE-SECR '16 - SysML as a Common Integration Platform for Co-Simulations

Sadovykh, Andrey, Bagnato, Alessandra, Quadri, Imran, Mady, Alie El-Din, Couto, Luis Diogo, Basagiannis, Stylianos, Hasanagic, Miran

Year:

2016

Language:

english

File:

PDF, 245 KB

english, 2016

41

Intramuscular granular cell tumor of the gluteal region

Deskoulidi, Parthena, Koufopoulos, Nektarios, Diamantopoulos, Pantelis, Basagiannis, Efthymios, Maltzaris, Nikolaos, Nikolaidou, Thaleia, Kydonakis, Michael, Kotrotsiou, Maria, Benetatos, Konstantinos

Journal:

Journal of Surgical Case Reports

Year:

2018

Language:

english

File:

PDF, 485 KB

english, 2018

42

Formal Methods for Energy-Efficient EPONs

Petridou, Sophia, Basagiannis, Stylianos, Mamatas, Lefteris

Journal:

IEEE Transactions on Green Communications and Networking

Year:

2017

Language:

english

File:

PDF, 4.09 MB

english, 2017

43

Whipple Disease

St. Basagiannis, Christos, Panagoulias, George S., Tentolouris, Nicholas, Basoukeas, Stavros, Sambaziotis, Dimitrios, Ladas, Spiros D.

Journal:

Southern Medical Journal

Year:

2010

Language:

english

File:

PDF, 276 KB

english, 2010

44

[IEEE ICC 2017 - 2017 IEEE International Conference on Communications - Paris, France (2017.5.21-2017.5.25)] 2017 IEEE International Conference on Communications (ICC) - Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs

Petridou, Sophia, Basagiannis, Stylianos, Mamatas, Lefteris

Year:

2017

Language:

english

File:

PDF, 368 KB

english, 2017

45

A case of polymyositis associated with papillary thyroid cancer: a case report

Kalliabakos, Dimitrios, Pappas, Apostolos, Lagoudianakis, Emmanuel, Papadima, Artemisia, Chrysikos, John, Basagiannis, Christos, Tsakoumagou, Maria, Skanelli, Yasemi, Manouras, Andreas

Journal:

Year:

2008

Language:

english

File:

PDF, 528 KB

english, 2008

46

Smart Grid Security || Implementation Experiences from Smart Grid Security Applications and Outlook on Future Research

Basagiannis, Stylianos

Year:

2015

Language:

english

File:

PDF, 2.46 MB

english, 2015

47

Diselenolane-Mediated Cellular Uptake: Efficient Cytosolic Delivery of Probes, Peptides, Proteins, Artificial Metalloenzymes and Protein-Coated Quantum Dots

Bartolami, Eline, Basagiannis, Dimitris, Zong, Lili, Martinent, Rémi, Okamoto, Yasunori, Laurent, Quentin, Ward, Thomas R., Gonzalez-Gaitan, Marcos, Sakai, Naomi, Matile, Stefan

Journal:

Chemistry - A European Journal

Year:

2019

Language:

english

File:

PDF, 993 KB

english, 2019

48

Hypoxia-induced changes in SUMO conjugation affect transcriptional regulation under low oxygen.

Chachami, Georgia, Stankovic-Valentin, Nicolas, Karagiota, Angeliki, Basagianni, Angeliki, Plessmann, Uwe, Urlaub, Henning, Melchior, Frauke, Simos, George

Journal:

Molecular & Cellular Proteomics

Year:

2019

Language:

english

File:

PDF, 4.28 MB

english, 2019

49

Learning Moore machines from input–output traces

Giantamidis, Georgios, Tripakis, Stavros, Basagiannis, Stylianos

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 2.41 MB

english, 2019

50

Erratum for âModified Generalized Maxwell Model for Hysteresis Behavior of Elastomeric Dampersâ by Christos A. Basagiannis and Martin S. Williams

Basagiannis, Christos A., Williams, Martin S.

Journal:

Journal of Engineering Mechanics

Year:

2020

File:

PDF, 93 KB

2020